\frame
{
  \frametitle{FindInconsistentSync implementation}
  \B
  \item For each analyzed method, iterate over Locations in method
  \item For each field, record synchronized and unsynchronized accesses
  \item At end of analysis pass, report fields
        with both synchronized and unsynchronized accesses
  \E
}
